Формальная семантика
Формальная семантика — дисциплина, изучающая семантику (интерпретации) формальных и естественных языков путём их формального описания в математических терминах.
Формальный язык может быть задан без какой-либо интерпретации. Это достигается заданием множества символов (также называемого алфавитом) и множества правил вывода (также называемого формальной грамматикой ), которые определяют, какие строки символов являются правильно построенными формулами. При добавлении правил преобразования и принятии некоторых предложений за аксиомы (что вместе называется дедуктивной системой), формируется логическая система. Интерпретация — это задание смысла её символам и значений истинности её предложениям.
Условия истинности различных предложений, которые могут присутствовать в аргументах, зависят от их смысла, поэтому добросовестные учёные не могут полностью обойтись без какого-либо описания смысла этих предложений. Семантика логики описывает различные подходы к пониманию и определению тех частей смысла, которые представляют интерес. Как правило, интерес с точки зрения логики представляет не само по себе предложение, а оно же в пропозиционной, идеализированной форме, подходящей для логических преобразований.
До становления современной логики, в «Органоне» Аристотеля, а именно в работе «Об истолковании» были заданы основы понимания и значения логики. Введение кванторов должно было решить проблему общности множеств, не решаемую в рамках субъектно-предикатного анализа Аристотеля, хотя в логике термов появляется новый интерес, а именно попытки построить исчисление в духе силлогистики Аристотеля, но используя свойства общности кванторов из современной логики.
Основными современными подходами к семантике для формальных языков являются:
Теоретико-модельная семантика, архетип семантики теории истинности Альфреда Тарского, основанной на его Т-схеме, является одной из ключевых концепций модельной теории. Это один из наиболее распространённых подходов. Основная его идея в том, что смысл различных частей утверждения задаются всевозможными способами рекурсивного задания группы функций интерпретации, отображающих предложения на некоторые заранее заданные математические множества. Так, интерпретация логики предикатов первого порядка задаётся отображением термов в универсум, и отображение предикатов в значения истинности «истина» и «ложь». На модельно-теоретической семантике основан подход в теории смысла под названием семантика условной Истины, который впервые был предложен Дональдом Девидсоном. Семантика Крипке по сути вносит некоторые дополнения к семантике Тарского. Теоретико-доказательная семантика связывает смысл утверждений с ролями, которые они играют в рассуждении. Герхард Генцен, Даг Правиц (швед. Dag Prawitz) и Майкл Даммет считаются основателями этого подхода. На него сильно повлияла поздняя философия Людвига Витгенштейна, особенно его афоризм «смысл — это применение».
Семантика значений истинности (также известная как подстановочная квантификация) была предложена Рут Маркус (англ. Ruth Barcan Marcus) для модальных логик в начале 1960-х и затем развита в трудах Дана (Michael Dunn), Белнапа (англ. Nuel Belnap) и Леблана (Hugues Leblanc) в качестве стандартной логики первого порядка. Джеймс Гарсон (англ. James Garson) получил некоторые результаты в областях адекватности интенсиональных логик, снабжённых такой семантикой. Условия истинности квантифицированных формул задаются исключительно в терминах истинности, без использования множеств (отсюда и название).
Теоретико-игровая семантика недавно была возрождена Яакко Хинтиккой для логик (конечной) частично покрытой квантификации, которые изначально исследовались Леоном Хенкиным.
Вероятностная семантика — обобщение семантики значений истинности, созданное Филдом (Hartry Field).Лингвисты редко применяли формальные семантики до тех пор, пока Ричард Монтегю не показал как можно воспринимать английский (или любой другой естественный язык) как формальный язык. Его вклад в лингвистическую семантику, известный как грамматика Монтегю, представляет основу для того, что лингвисты называют формальной семантикой.
Источник: Википедия
Связанные понятия
Метатеория — теория, анализирующая методы и свойства другой теории, так называемой предметной или объектной теории.
Поскольку философия состоит из рациональных рассуждений, логика является первичным атрибутом философии. Для анализа различных философских концепций, для их сопоставления друг с другом необходимо проведение критического анализа различных философских утверждений и теорий. В связи с тем, что человеческое мышление формулируется текстуально, логика тесно связана с анализом текстов и языков. Логика формализует текстуальное рассуждение и определяет его формы, которые приемлемы для анализа. Первым шагом...
Подробнее: Философская логика
Семантика Крипке является распространенной семантикой для неклассических логик, таких как интуиционистская логика и модальная логика. Она была создана Солом Крипке в конце 1950-х — начале 1960-х годов. Это было большим достижением для развития теории моделей для неклассических логик.
Семанти́ческий ана́лиз — этап в последовательности действий алгоритма автоматического понимания текстов, заключающийся в выделении семантических отношений, формировании семантического представления текстов. Один из возможных вариантов представления семантического представления — структура, состоящая из «текстовых фактов». Семантический анализ в рамках одного предложения называется локальным семантическим анализом.
Аналити́ческое сужде́ние — суждение, которое не привносит никакой новой информации об объекте. Противоположностью аналитического суждения является синтетическое суждение. Истинность аналитических суждений может быть установлена без обращения к реальному миру. Примером аналитического суждения является утверждение «Всякий холостяк не женат», поскольку слово «холостяк» и выражение «не женат» одинаковы по смыслу. Таким образом, это суждение не добавляет никакого нового смысла.
Упоминания в литературе
В области методологии и философии науки семантика чаще всего понимается как выполняющая задачу приписывания «интерпретации» «бессмысленным» выражениям некоторого данного языка. Эта интерпретация в свою очередь рассматривается как приписывание некоторых подходящих референтов, или объектов (индивидов, множеств индивидов и т. д.), разного рода символам, которые, как предполагается, таким образом получают значение (meaning) и становятся осмысленными (meaningful). Этот подход стал стандартным для
семантики формальных систем и составляет основную точку зрения, на которой в математической логике основывается теория моделей; на этом подходе основываются также практически все современные работы по семантике эмпирических теорий[164].
Связанные понятия (продолжение)
Абстрактная модель — это модель, отражающая лишь самые общие характеристики моделируемого явления. Чаще всего абстрактная модель даёт лишь качественные характеристики моделируемого объекта или явления.
Рассуждение — последовательный ряд мыслей и умозаключений в контексте определённой темы, изложенных в логически последовательной форме.
Форма́льные нау́ки — совокупность наук, занимающихся исследованием формальных систем. К формальным наукам относятся: математика, логика, кибернетика, теоретическая информатика, теория информации, теория систем, теория принятия решений, статистика, некоторые аспекты лингвистики.
Парадоксами
теории множеств называют * рассуждения, демонстрирующие противоречивость наивной теории множеств, такие как...
Машина вывода — программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики.
«Синтакси́ческие структу́ры » (англ. Syntactic Structures) — лингвистическая работа, выпущенная Н. Хомским в 1957 году. Наряду с другими работами Н. Хомского, книга заложила основы теории порождающих грамматик и теории формальных языков. Год выхода работы в свет принято считать отправной точкой генеративной лингвистики:311. Выход в свет «Синтаксических структур» привёл к возникновению когнитивной науки:15.
Синтети́ческое сужде́ние — суждение, расширяющее и добавляющее информацию об объекте. Противоположностью синтетического суждение является аналитическое суждение. Истинность синтетических суждений может быть установлена «только в процессе их сопоставления с той реальностью, о которой они говорят». Примером синтетического суждения является утверждение «Все лебеди белые» (при условии что слово лебедь не подразумевает белый цвет птицы), поскольку оно обобщает и дает новую информацию о таком предмете...
Алгоритмическая теория информации — это область информатики, которая пытается уловить суть сложности, используя инструменты из теоретической информатики. Главная идея — это определить сложность (или описательную сложность, колмогоровскую сложность, сложность Колмогорова-Хайтина) строки как длину кратчайшей программы, которая выводит заданную строку. Строки, которые могут выводиться короткими программами, рассматриваются как не очень сложные. Эта нотация удивительно глубока и может быть использована...
Финитизм (лат. finitus — определенный, законченный) — философское учение, отрицающее понятие бесконечного и утверждающее, что бесконечность не имеет места ни во вселенной, ни в микромире, ни в человеческом мышлении. Была широко популярна в Древнем мире и Средних веках до Коперника. Финитизм предполагает, что Вселенная конечна и имеет определённые размеры. Микромир также имеет пределы делимости (см. атомизм).
Операционализм — течение в философии и методологии науки XX века, полагающее операционализацию критерием научности теоретических и эмпирических суждений.
Рекурсивное определение или индуктивное определение определяет сущность в терминах её самой (то есть рекурсивно), хотя и полезным способом. Для того, чтобы это было возможно, определение в любом данном случае должно быть хорошо-основанным, избегая бесконечной регрессии.
Теория топосов — раздел теории категорий, изучающий топосы — категории с определёнными дополнительными структурами, и математические (категорные) методы, связанные с топосами.
Антецедент (лат. antecedens — «предшествующее») — на языке старых философов, особенно у логиков Кантовской школы, в их учении о суждениях, заключениях и доказательствах антецедент означает, отчасти — логическое подлежащее в его отношении к сказуемому, отчасти — причину в отношении к следствию.
Абдукция (от лат. ab — от и лат. ducere — водить) — познавательная процедура выдвижения гипотез.
Трансформа́ция — понятие языкознания, восходящее к З. Харрису и первоначально обозначавшее то или иное правило, по которому из так называемых ядерных предложений языка (таковыми считались простые утвердительные предложения с глаголом в изъявительном наклонении активного залога настоящего времени без модальных слов и осложняющих элементов) получаются производные:102. Так предполагалось объяснять явления парадигматики в синтаксисе — случаи, когда определённое изменение значения ядерного предложения...
Деонти́ческая ло́гика (от др.-греч. δέον — долг и логика; логика норм, нормативная логика) — раздел модальной логики.
Универса́льный язы́к (всеобщий язык; лат. lingua generalis) — язык, система терминов, определенных строго и однозначно, а потому допускающих над собой чисто формальные операции.
Сигнифика́т (от лат. significātum — значимое) — понятийное содержание имени или знака.
Бина́рная оппози́ция — универсальное средство рационального описания мира, где одновременно рассматриваются два противоположных понятия, одно из которых утверждает какое-либо качество, а другое — отрицает. Считается неотъемлемым качеством дискурсивного мышления, противопоставляемого различным формам интуиции. Корни представления о бинарных оппозициях уходят в диалектику Платона и формальную логику Аристотеля. Термин введен лингвистом Н. С. Трубецким. Активно используется в структурализме.
Интеллектуальный анализ текстов (ИАТ, англ. text mining) — направление в искусственном интеллекте, целью которого является получение информации из коллекций текстовых документов, основываясь на применении эффективных в практическом плане методов машинного обучения и обработки естественного языка. Название «интеллектуальный анализ текстов» перекликается с понятием «интеллектуальный анализ данных» (ИАД, англ. data mining), что выражает схожесть их целей, подходов к переработке информации и сфер применения...
Модель мозга — любая теоретическая система, которая стремится объяснить физиологические функции мозга с помощью известных законов физики и математики, а также известных фактов нейроанатомии и нейрофизиологии . Существуют по меньшей мере два основных положения, играющих фундаментальную роль в теории функционирования мозга, в отношении которых сходится мнение большинства современных теоретиков...
Нея́вное зна́ние (англ. tacit knowledge) — вид знания, к которому относится то знание, которое не может быть легко передано другим.
Нумерация Гёделя — это функция g, сопоставляющая каждому объекту некоторого формального языка её номер. С её помощью можно явно пронумеровать следующие объекты языка: переменные, предметные константы, функциональные символы, предикатные символы и формулы, построенные из них. Построение нумерации Гёделя для объектов теории называется арифметизацией теории — оно позволяет переводить высказывания, аксиомы, теоремы, теории в объекты арифметики. При этом требуется, чтобы нумерация g была эффективно вычислимой...
Лингвистический поворот — явление в философии XX века, связанное с переосмыслением понятия и роли языка, а также одноимённая антология (англ. 'Linguistic turn: Recent Essays in Philosophical Method') под редакцией Ричарда Рорти, изданная в 1967 году.
Языкова́я спосо́бность — специфический психофизиологический механизм, формирующийся у носителя языка на основе нейрофизиологических предпосылок и под влиянием опыта речевого общения.
Дискурси́вный ана́лиз — изучение языка, используемого членами некоторого языкового сообщества. В ходе такого анализа рассматривается как форма языка, так и его функция. В качестве исходного материала берутся разговорная речь и письменные тексты. Идентифицируются лингвистические особенности понимания различных текстов и типов устной речи.
Анализ формальных понятий (АФП) (англ. Formal Concept Analysis, FCA) — ветвь прикладной алгебраической теории решёток. Традиционно АФП относят к области концептуальных структур в искусственном интеллекте.
Неогумбольдтианство — направление в современном языкознании, восходящее к взглядам В. Гумбольдта. Сторонники неогумбольдтианства считают, что язык конституирует представления индивидуума о внешнем мире. Считая язык проявлением «национального духа», неогумбольдтианство стремится показать, что люди, говорящие на разных языках, по-разному воспринимают действительность и действуют в ней; таким образом, «картина мира» зависит от особенностей строения языка, которое определяет характер мыслительной деятельности...
Элиминативный материализм (англ. Eliminative materialism; элиминативизм) — материалистическая позиция в философии сознания, согласно которой обыденное понимание сознания является ложным и некоторые ментальные состояния, в которые верят люди, не существуют. Некоторые элиминативисты считают, что для некоторых концепций, таких как вера или желание, не будет найдено нейробиологического базиса, поскольку они недостаточно точно определены. Они, в свою очередь, считают, что психологические концепции поведения...
Структурное прогнозирование или структурное обучение является собирательным термином для техник обучения машин с учителем, которые вовлекают предвидение структурных объектов, а не скалярных дискретных или вещественных значений.
Паде́жная грамма́тика , «ролева́я грамматика» — метод описания семантики предложения (за исключением модальных и перформативных элементов) как системы семантических валентностей, в которой значение вершинного глагола диктует роли («падежи»), исполняемые именными составляющими. Иногда рассматривается как одна из разновидностей порождающей семантики:114 (наряду с направлением, представленным Дж. Мак-Коли, Дж. Лакоффом и другими учёными).
Философия психологии — сравнительно молодой специальный раздел философии науки, занимающийся исследованием и изучением методологии эмпирической психологии, знаний, полученных в науке психологии.
Концептуа́льная схе́ма — семантическая сеть из взаимосвязанных по определенным правилам понятий (а не единичное понятие) и концепций.
Интеллектуа́льная систе́ма (ИС, англ. intelligent system) — это техническая или программная система, способная решать задачи, традиционно считающиеся творческими, принадлежащие конкретной предметной области, знания о которой хранятся в памяти такой системы. Структура интеллектуальной системы включает три основных блока — базу знаний, механизм вывода решений и интеллектуальный интерфейс.
Стэ́нфордская филосо́фская энциклопе́дия (англ. The Stanford Encyclopedia of Philosophy) — публичная интернет-энциклопедия по философии, поддерживаемая Стэнфордским университетом. Каждая статья написана и обновляется экспертом в предметной области. В создание энциклопедии вовлечены профессора из 65 академических институтов по всему миру. Помимо онлайнового статуса, энциклопедия поддерживает традиционный академический подход, используемый в большинстве энциклопедий и академических журналов, достигая...
Неорито́рика (но́вая рито́рика) — современная философская и филологическая теория. Название закрепилось в научном обороте благодаря одноименной работе Хаима Перельмана.
Когнити́вная систе́ма , когнити́вная структу́ра (от лат. cognitiо «познание») — система познания (человека), сложившаяся в его сознании в результате становления его характера, воспитания, обучения, наблюдения и размышления об окружающем мире. На основе этой системы ставятся цели и принимаются решения о том, как надо действовать в той или иной ситуации, стараясь избежать когнитивного диссонанса. В основе когнитивной системы лежит взаимодействие мышления, сознания, памяти и языка; носителем такой системы...
Логическая семантика — «Философский термин» — («рассуждение», «мысль», «разум») — раздел логики, в котором изучаются отношения языковых символов к обозначаемым ими объектам и выражаемому ими содержанию.
Семанти́ческое по́ле — самая крупная смысловая парадигма, объединяющая слова различных частей речи, значения которых имеют один общий семантический признак.
Сбор данных — это процесс собирания информации и измерения целевых показателей в сложившейся системе, который позволит потом ответить на актуальные вопросы и оценить результаты. Сбор данных является частью исследований во всех областях изучения, включая физику, общественные науки, Гуманитарные науки и бизнес. Хотя методы различны для разных дисциплин, упор на обеспечение точной и правдивой информации остаётся тем же самым. Целью всего сбора данных служит получение свидетельства о качестве данных...
Модальная логика (от лат. modus — способ, мера) — логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы).
Функция принадлежности нечёткого множества — обобщение индикаторной (или характеристической) функции классического множества. В нечёткой логике она представляет степень принадлежности каждого члена пространства рассуждения к данному нечёткому множеству.
Метало́гика — изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем.
Модель системы аксиом — какой-либо математический объект, который отвечает данной системе аксиом. Истинность системы аксиом можно доказать, только построив модель в рамках другой системы аксиом, которая считается «истинной». Кроме того, модель позволяет наглядно продемонстрировать некоторые особенности данной аксиоматической теории.
Философия физики — раздел философии, изучающий понятие, границы и методологию физики как части науки. В рамках своей задачи философия физики анализирует, например, проблему несовпадения онтологической и физической проекций: например, понимание физикой времени как течения наиболее стабильного процесса и онтологическое понимание времени как течения времени вообще или смены фаз: прошлое, настоящее, будущее. К философии физики относится также проблема причинности, проявляющейся только в физическом мире...